In-system programming - PDFSEARCH.IO - Document Search Engine

In-system programming
Results: 1455

#	Item
421	¡fixltx2e¿ [v2.0a fixes to LaTeX (obsolete)] ¡!fixltx2e¿ [v1.0d LaTeX release emulation and tests] 1 The latexrelease package∗ Add to Reading List Source URL: ctan.imsc.res.in Language: English - Date: 2015-05-12 06:23:16 LaTeX Application programming interfaces Widget Tcl X Window System Widget toolkits Graphical user interfaces Software Computing Application software
422	Embedded Masterclass 2012 Robust Concurrent Programming in C++ Peter Bushell Director Software Integrity Ltd http://software-integrity.com Add to Reading List Source URL: software-integrity.com Language: English - Date: 2012-07-19 15:26:54 System software Integrity Embedded system Kernel Software Embedded operating systems Real-time operating systems Computer architecture
423	Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and The Ciao System Preprocessor) Manuel V. Hermenegildo a,b Germ´an Puebla a Francisco Bueno a Pedro L´opez-Garc´ıa a Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2005-07-26 16:47:43 Theoretical computer science Formal methods Semantics Abstract interpretation Formal languages Model theory Prolog Semantics of programming languages Programming language Software engineering Computing Logic in computer science
424	ETEL ETEL’s 12,000m2 HQ in Motiers, Switzerland XJTAG is used to test ETEL’s motion control products Add to Reading List Source URL: www.xjtag.com Language: English - Date: 2009-02-03 06:08:04 Electronic engineering Joint Test Action Group Boundary scan Automated X-ray inspection In-system programming Printed circuit board Field-programmable gate array Ball grid array Electronics manufacturing Manufacturing Electronics
425	Formal Methods in System Design 15, 7–c 1999 Kluwer Academic Publishers. Manufactured in The Netherlands. ° Reactive Modules∗ RAJEEV ALUR Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-03-05 17:26:28 External variable Futures and promises Environment variable Free variables and bound variables Variable Closure SystemVerilog Software engineering Computing Synchronous programming language
426	Enforcing the Use of API Functions in Linux Code Julia L. Lawall DIKU, University of Copenhagen Denmark Add to Reading List Source URL: pagesperso-systeme.lip6.fr Language: English - Date: 2011-12-17 11:25:26 Linux Linux kernel HAL Udev Coccinelle Operating system Device driver Stat Application programming interface Software Computing System software
427	Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and The Ciao System Preprocessor) Manuel V. Hermenegildo a,b Germ´an Puebla a Francisco Bueno a Pedro L´opez-Garc´ıa a Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2005-07-26 16:47:43 Theoretical computer science Formal methods Semantics Abstract interpretation Formal languages Model theory Prolog Semantics of programming languages Programming language Software engineering Computing Logic in computer science
428	Aleksey Shipilev Summary Born in mid-eighties, currently living in Puschino, Moscow area, Russia, married. Relocation within Russia is not acceptable, open for remote work Relocation outside Russia is acceptable, but nee Add to Reading List Source URL: shipilev.net Language: English - Date: 2014-01-01 10:52:21 Java virtual machine Java platform Java programming language Cross-platform software Sun Microsystems Apache Harmony Java Jikes RVM OpenJDK Computing Software System software
429	Analytics in the Sun 7000 Series Bryan Cantrill, Brendan Gregg Sun Microsystems Fishworks The Problem Storage is unobservable Add to Reading List Source URL: blogs.oracle.com Language: English - Date: 2008-11-08 17:31:08 Aspect-oriented programming DTrace Debuggers Computer data storage Database ISCSI X Window System Software Computing System software
430	MLAPRONIDL: OCaml interface for APRON library Bertrand Jeannet September 11, 2009 All files distributed in the APRON library, including MLApronIDL subpackage, are distributed under LGPL license. Add to Reading List Source URL: apron.cri.ensmp.fr Language: English - Date: 2009-09-11 14:11:21 Functional languages OCaml Type system GNU Multiple Precision Arithmetic Library OBJ Arbitrary-precision arithmetic Monad Function Module Software engineering Computing Computer programming

UPDATE